/*
 * dsem_terminator.cpp
 *
 *  Created on: Dec 24, 2013
 *      Author: m
 */

#include "CPrinter.h"
#include "DSEMCommon.h"
#include "MessageQueue.h"
#include <cstdlib>

using ipc::MessageQueue;
using ipc::CPrinter;

int main ( int argc, char* argv[] )
{
    MessageQueue<PedidoCreacionDSEM>::destroy( DSEM_IPC_BASEFILE, RESOURCE_CREATION_QUEUE );

    std::string killCmd = "killall -9 ";
    system( ( killCmd + "dsem_creador_recursos" ).c_str() );
    system( ( killCmd + "dsSignaler" ).c_str() );
    system( ( killCmd + "dsWaiter" ).c_str() );

    return 0;
}
